nLab Elisabeth Stenholm

Elisabeth Stenholm

• personal page

• github page

• github (old)

Selected writings

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Univalent material set theory (arXiv:2312.13024)

On the category of Peter Aczel‘s iterative sets in homotopy type theory:

• Daniel Gratzer, Håkon Gylterud, Anders Mörtberg, Elisabeth Stenholm, The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations, Mathematical Structures in Computer Science 34 Special Issue 9: Advances in Homotopy type theory (2024) 945-970 [doi:10.1017/S0960129524000288, arXiv:2402.04893]

On non-wellfounded sets in homotopy type theory:

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri, Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory [arXiv:2001.06696]

Selected talks

• Elisabeth Stenholm, Non-wellfounded sets in HoTT [talk video:YT]

category: people